Aprendizaje Activo de Autómatas Ponderados Basado en SMT
<meta name=description content=Aprendizaje activo de autómatas ponderados con SMT: técnica avanzada que combina inferencia de modelos y satisfacibilidad módulo teorías para optimizar la verificación formal y el aprendizaje automático.>